The aim of this paper is to define a λ-calculus typed in aMixed (commutative and non-commutative) Intuitionistic Linear Logic. The terms of such a calculus are the labelling of proofs of a linear intuitionistic mixed natural deduction NILL, which is based on the non-commutative linear multiplicative sequent calculus MNL [RuetAbrusci 99]. This linear λ-calculus involves three linear arrows: two directional arrows and a nondirectional one (the usual linear arrow). Moreover, the -terms are provided with seriesparallel orders on free variables. We (...) prove a normalization theorem which explicitly gives the behaviour of the order during the normalization procedure. (shrink)

The coordinated expression of the Hox gene family encoding transcription factors is critical for proper embryonic development and patterning. Major efforts have thus been dedicated to understanding mechanisms controlling Hox expression. In addition to the temporal and spatial sequential activation of Hox genes, proper embryonic development requires that Hox genes get differentially silenced in a cell‐type specific manner as development proceeds. Factors contributing to Hox silencing include the polycomb repressive complexes (PRCs), which control gene expression through epigenetic modifications. This review (...) focuses on PRC‐dependent regulation of the Hox genes and is aimed at integrating the growing complexity of PRC functional properties in the context of Hox regulation. In particular, mechanisms underlying PRC binding dynamics as well as a series of studies that have revealed the impact of PRC on the 3D organization of the genome is discussed, which has a significant role on Hox regulation during development. (shrink)

FRANCK LESSAY. — Avant de dialoguer ensemble autour de la thématique des nouvelles guerres de religion, il nous apparaît important de nous attarder sur la notion même de « guerre de religion », de nous interroger sur son degré de pertinence dans le monde contemporain et sur l’évolution qu’elle peut avoir subie historiquement. Comment les guerres de religion de..

We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with (...) a metalinguistic link between assertions, and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection. To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

We introduce a sequent calculusBfor a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic. quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterizeBpositively: reflection, symmetry and visibility.A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with a metalinguistic link between assertions, (...) and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection.To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a sequent calculus proof simply by properly adding to it some special edges, called sequential edges, which express the sequentiality constraints given by sequent calculus.

De christelijke ethiek is een ethiek in wording. Dit tweede deel van het 'Handboek Moraaltheologie' legt aan de hand van de trefwoorden wetten, waarheid en waardigheid uit hoe de morele denkpatronen zich in de tijd hebben ontwikkeld. (Kerk)historische en dogmatische veranderingen hadden een belangrijke invloed op de moraaltheologie. Niet alleen de inhouden, maar ook methoden veranderden door de eeuwen heen: bij de eerste christenen leidde een oorspronkelijke overtuiging tot een overtuigende ethiek. In de Middeleeuwen droeg een systematisering van de theologische (...) waarheid bij aan een systematisering van morele normen en wetten. In de moderne en postmoderne tijd wordt naarmate het waarheidsbegrip in de wijsgerige ethiek verdwijnt, de morele leer aan de orde gesteld. Dit boek brengt fenomenologie, antropologie en theologie met elkaar in gesprek: eidetische fenomenologie en een existentiële antropologie dragen bij aan een mogelijke vertaalslag van geopenbaarde inhouden. (shrink)

Las personas dedicadas a otorgar servicios de la salud tienen el compromiso legal, ético, profesional y humano de velar por la salud y el bienestar de la sociedad. Un médico no sólo debe formarse en el ámbito académico y técnico, también debe construir y trabajar en su ética profesional. La actualización médica continua en medicina basada en evidencia y el continuo adiestramiento en el área práctica y clínica, si bien son de suma importancia, deben ir de la mano con la (...) aplicación de los principios éticos tales como el respeto por la autonomía, la beneficencia, no maleficencia al paciente y la justicia. El análisis de casos clínicos reales a la luz de la ética es un ejercicio muy enriquecedor para trascender en nuestra práctica diaria. No solamente es de gran ayuda para detectar y prevenir conductas que pudieran vulnerar o atentar contra la dignidad de los pacientes, sino para reafirmar el valor y la centralidad de la persona humana en el abordaje médico. (shrink)

Christelijke ethiek, in de traditie ook wel moraaltheologie genoemd, is een van de meest omstreden onderwerpen binnen de theologie, maar ook daarbuiten. Toch is het doel van deze ethiek 'een leven in volheid en vrijheid'. Zonder ethische richtlijnen en persoonlijke verantwoordelijkheid kan een leven niet slagen. Normen en wetten hebben als doel ruimte te scheppen voor het leven en dat te beschermen. Deze vrijheid invullen, daar zijn mensen zelf verantwoordelijk voor. En verantwoordelijk zijn betekent: een antwoord verschuldigd zijn aan iemand. (...) Ethiek voltrekt zich daarom altijd in relatie: tot het eigen geweten, tot het goede dat te verwezenlijken valt, en in relatie tot andere levende wezens en de natuur. Christelijke ethiek plaatst deze verantwoordelijkheid bovendien in relatie tot God. Mensen zijn vrij maar ook beperkt; zij doen elkaar kwaad en hebben behoefte aan vergeving en verzoening. (shrink)

In this article, I respond to Laury Naranch’s and Mary Caputi’s discussion of my book Power and Feminist Agency in Capitalism (2017). In response to Naranch, I clarify how the political subject-in-outline translates into collective political action through the figure of the Chicana working-class woman. I also explain why the proletariat, more so than the precariat, implies a radical political imaginary if we rethink this concept in the context of my idea of the political subject-in-outline. I also clarify that my (...) chapters on Marx expose how Adorno and Marx have problematic imaginations of the working-class woman, which counter their otherwise radical imaginary. In response to Caputi, I clarify the meaning of capitalism in my book and underline that we need a rigorous critique of capitalism to counter the rise of the Far Right. I also explain why the fluid subject does not have agency and why the subject-in-outline is a better way to theorize transformative feminist agency. I also clarify that my conception of feminist political subjectivity does not assume a privileged vantage point outside power structures. (shrink)

Poser les fondements de toute philosophie et de tout savoir, en retraçant le chemin qui mène du doute radical à l'indubitable science : telle est l'entreprise de Descartes dans ses Méditations métaphysiques. Tout au long de cet ouvrage original où se conjuguent démonstration et ascèse, la vérité se fonde à mesure que le lecteur se découvre et se forme, en éprouvant, après l'incertitude de toute connaissance, l'existence du sujet pensant, de Dieu, des choses matérielles, la distinction de l'âme et du (...) corps et leur union en l'homme. Les Méditations, dont nous donnons ici les textes latin et français, sont suivies des Objections formulées par d'illustres théologiens et philosophes - dont Arnauld, Hobbes, Gassendi - et des Réponses de l'auteur, à travers lesquelles l'exposé de sa métaphysique se trouve prolongé. (shrink)

Claudia Welz and René Rosfort: Introduction: A Negativistic Approach to Existential Hermeneutics Stefano Micali: Anxiety between Dialectics and Phenomenology René Rosfort: Kierkegaard and the Problem of Ethics Mads Peter Karlsen: The Past >Has Us Before We Have.

In the last two decades, studies on the relationship between spirituality and health have grown significantly in the International literature. In Brazil, the debate on this subject has reached greater visibility since 2009, mainly in the health sciences, with the appearance of the term "spiritual care". In theology, studies on spiritual care in the health care context are still scarce. This paper aims to contribute to the broadening of this reflection. Firstly, spiritual care is approached from scientific publications in Portuguese (...) language. Second, the interdisciplinary spiritual care model is presented as a holistic approach to patient care and consequences of applying a spiritual care model are outlined. The newly defined role of the hospital chaplains, pastoral counselors and spiritual caregivers is also discussed. As a conclusion, the paper mentions the main challenges going along with interdisciplinary spiritual care, especially those concerning the training of health care professionals. (shrink)

For Yves R. Simon, philosophy has an affinity to science, not in the sense that philosophy is a mere metascience, a commentary on the sciences, but rather because it shares the same aim as science: the search for explanation. The philosophy Simon espouses is philosophical realism which, following Jacques Maritain, he prefers to call critical realism. Against the prejudice that only some version of philosophical idealism, be it critical or absolute, is capable of understanding positive science. Simon, in Foresight and (...) Knowledge, develops a philosophy of science form a realistic perspective. Philosophy of science or the critique of science, as it was known in France, is according to Simon, metahphysics in the exercise of its critical function. Simon selects as the central focus of the treatise the problem of determinism, causality, and chance. Simon shows that the concept “determinism” must be understood in different conceptual systems, such as a philosophy of nature and physics; in the latter, determinism is conceived as a possibility of certain and exact prediction. (shrink)

From the moment Mary Poppins arrives at Number Seventeen Cherry-Tree Lane, everyday life at the Banks house is forever changed. This classic series tells the story of the world's most beloved nanny, who brings enchantment and excitement with her everywhere she goes. Featuring the charming original cover art by Mary Shepard, these new editions are sure to delight readers of all ages. Mary Poppins reappears just in time! According to her tape measure, Jane and Michael have grown "Worse and Worse" (...) since she went away. But the children won't have time to be naughty with all that Mary has planned for them. A visit to Mr. Twigley’s music box-filled attic, an encounter with the Marble Boy, and a ride on Miss Calico’s enchanted candy canes are all part of an average day out with everyone's favorite nanny. (shrink)

The tradition of natural law is one of the foundations of Western civilization. At its heart is the conviction that there is an objective and universal justice which transcends humanity’s particular expressions of justice. It asserts that there are certain ways of behaving which are appropriate to humanity simply by virtue of the fact that we are all human beings. Recent political debates indicate that it is not a tradition that has gone unchallenged: in fact, the opposition is as old (...) as the tradition itself. By distinguishing between philosophy and ideology, by recalling the historical adventures of natural law, and by reviewing the theoretical problems involved in the doctrine, Simon clarifies much of the confusion surrounding this perennial debate. He tackles the questions raised by the application of natural law with skill and honesty as he faces the difficulties of the subject. Simon warns against undue optimism in a revival of interest in natural law and insists that the study of natural law beings with the analysis of “the law of the land.” He writes not as a polemicist but as a philosopher, and he writes of natural law with the same force, conciseness, lucidity and simplicity which have distinguished all his other works. (shrink)

Background The prioritization protocols for accessing adult critical care in the extreme pandemic context contain tiebreaker criteria to facilitate decision-making in the allocation of resources between patients with a similar survival prognosis. Besides being controversial, little is known about the public acceptability of these tiebreakers. In order to better understand the public opinion, Quebec and Ontario’s protocols were presented to the public in a democratic deliberation during the summer of 2022. Objectives (1) To explore the perspectives of Quebec and Ontario (...) citizens regarding tiebreakers, identifying the most acceptable ones and their underlying values. (2) To analyze these results considering other public consultations held during the pandemic on these criteria. Methods This was an exploratory qualitative study. The design involved an online democratic deliberation that took place over two days, simultaneously in Quebec and Ontario. Public participants were selected from a community sample which excluded healthcare workers. Participants were first presented the essential components of prioritization protocols and their related issues (training session day 1). They subsequently deliberated on the acceptability of these criteria (deliberation session day 2). The deliberation was then subject to thematic analysis. Results A total of 47 participants from the provinces of Quebec (n = 20) and Ontario (n = 27) took part in the online deliberation. A diverse audience participated excluding members of the healthcare workforce. Four themes were identified: (1) Priority to young patients - the life cycle - a preferred tiebreaker; (2) Randomization - a tiebreaker of last resort; (3) Multiplier effect of most exposed healthcare workers - a median acceptability tiebreaker, and (4) Social value – a less acceptable tiebreaker. Conclusion Life cycle was the preferred tiebreaker as this criterion respects intergenerational equity, which was considered relevant when allocating scarce resources to adult patients in a context of extreme pandemic. Priority to young patients is in line with other consultations conducted around the world. Additional studies are needed to further investigate the public acceptability of tiebreaker criteria. (shrink)

Bringing together the expertise of rhetoricians in English and communication as well as media studies scholars, Arguments about Animal Ethics delves into the rhetorical and discursive practices of participants in controversies over the use of nonhuman animals for meat, entertainment, fur, and vivisection. Both sides of the debate are carefully analyzed, as the contributors examine how stakeholders persuade or fail to persuade audiences about the ethics of animal rights or the value of using animals.

Pour sortir des intégrismes et en finir avec la violence.

Yves R. Simon (1903-1961) was one of this century’s greatest students of the virtue of practical wisdom. Simon’s interest in this virtue ranged from ultimate theoretical and foundational concerns, such as the relationship between practical knowledge and science, to the most concrete and immediate questions regarding the role of practical wisdom in personal and social decision-making. These concerns occupied Simon from his earliest published writing to the final notes and correspondence he was working on at the moment of his untimely (...) death. Throughout his life, practical wisdom and its related philosophical ramifications emerge time and again at critical junctures, throwing into bold relief some of the deeper dimensions of questions as diverse as the nature of democracy, the concept of law, and the theory of work. Practical knowledge constitutes a unifying motif of Simon’s entire encyclopedic effort. This volume reconstructs what would have been Simon’s final sustained writing on practical knowledge. It includes reworking of some previously published material, especially the landmark 1961 essay, "Introduction to the Study of Practical Wisdom," possibly the best treatment of the concept of "command" in recent philosophical writing. But it also reproduces, in a form closely corresponding to Simon’s intention, material drawn from notes and schemata, concerning issues such as the relationship between moral science and wisdom, the nature of practical judgment, and the relationship between practical knowledge and Christian moral philosophy. Also included are previously unpublished letters to Jacques Maritain on the controversy surrounding the theoretical-practical and practico-practical syllogisms, as well as Maritain’s responses. The volume concludes with applications of Simon’s general theory to a critique of the concept of a social science and to the notion of Christian humanism. This volume will appeal to moral philosophers interested in a range of normative issues, as well as social scientists and readers concerned with the philosophical foundations of modern culture. Virtue moralist, in particular, will find in Simon one of the profoundest commentators on this tradition in normative ethics. (shrink)

From the Foreward by Mortimer J. Adler Of all the question or issues concerning human freedom, none is more fundamental in itself and in its consequences than the problem of free choice; and none has been the subject of more persistent and, at the same time, apparently irresolvable controversyThis bookis the perfect antidote for the errors, the misunderstandings or worse, the ignorances that beset the modern discussion of free choice. Even the reader who comes to this book with little or (...) no knowledge of the philosophical literature on the subjects that it treats cannot fail to appreciate its remarkable clarity, its felicitous combination of detailed concreteness with abstract precision, its exploration of common experience and its elucidation of common sense, and, above all, the intelligibility, reasonableness, and fairness of its exposition of free choice. (shrink)

This long-awaited book is the first English-language edition of.Simon’s first book, Critique de la connaissance morale (1934). Not only does this work clarify the first stages of Simon’s intellectual career, it is also a major contribution to moral philosophy. A Critique of Moral Knowledge addresses fundamental issues. How does moral knowledge differ from other practical knowledge? What is the relationship between the moral sense, moral philosophy, and cognition in action? Is politics moral philosophy or simply a neutral technique? This elegant (...) translation will be an important contribution to the conversation on philosophy, politics, religion, and ethics. (shrink)

Maria mediatrix represents a paradigm of mediality in the Middle Ages. Mary′s power consists in bridging the gap between the celestial sphere and the world, the Christ and mankind. She is full of grace and conveying grace, participating in humanity and divinity by these characteristics. Her influence is based on having given birth to the Christ, accompanied his life until his death on the cross, having suffered and died in her soul with him in love. She incites the individual to (...) follow her on her paths, to love and suffer as she did, to follow the Christ. Her path – if followed – offers the perspective to reach redemption and salvation. But she is also interceding for the sinners. Ascended to heaven and crowned as queen, she is able to change the severity of judgements of her son into mercy. The present article outlines a “mediologic” approach, presenting some developments from the bible to the Middle Ages and giving examples of different ways of Mary′s mediation. The latter are mainly focussed on homilies written by Bernhard de Clairvaux (1090–1153) on the occasion of the feasts of the birth and ascension of Mary and five chapters of the ‘Büchlein der Ewigen Weisheit’ by Heinrich Seuse (1295–1366). (shrink)

Paulo Freire consistently upheld humanization and mutuality as educational ideals. This article argues that conceptualizations of knowledge and how knowledge is sought and produced play a role in fostering humanization and mutuality in educational contexts. Drawing on Mary Shelley’s novel Frankenstein, this article focuses on the two central characters who ‘ardently’ pursue knowledge at all costs. It will be argued that the text suggests two possible outcomes from the pursuit of knowledge. One is mutuality; the other is social disconnectedness.

This book brings together scholars from a variety of epistemological perspectives to explore the multiple ways in which sexuality does indeed matter in the arena of public education.